例句與造句

1. More exotic proof calculi such as Jean-Yves Girard's proof nets also support a notion of analytic proof.
2. Its sequent calculus relies on the structure of order varieties ( a family of cyclic orders which may be viewed as a species of structure ), and the correctness criterion for its proof nets is given in terms of partial permutations.
3. A shark proof net was to be introduced, the esplanade was to be extended and lit and a bridge was to be constructed at Rocky Point which " was to make the Point accessible at all states of the tide ".
4. Alternative syntaxes include sequent calculus, proof nets, calculus of structures, etc . If one admits the Curry Howard correspondence as the general principle that any proof system hides a model of computation, a theory of the underlying untyped computational structure of these kinds of proof system should be possible.
5. It's difficult to find proof net in a sentence. 用proof net造句挺難的